Extended coherence time on the clock transition of optically trapped Rubidium

Optically trapped ensembles are of crucial importance for frequency measurements and quantum memories, but generally suffer from strong dephasing due to inhomogeneous density and light shifts. We demonstrate a drastic increase of the coherence time to 21 s on the magnetic field insensitive clock transition of Rb-87 by applying the recently discovered spin self-rephasing. This result confirms the general nature of this new mechanism and thus shows its applicability in atom clocks and quantum memories. A systematic investigation of all relevant frequency shifts and noise contributions yields a stability of 2.4E-11 x tau^(-1/2), where tau is the integration time in seconds. Based on a set of technical improvements, the presented frequency standard is predicted to rival the stability of microwave fountain clocks in a potentially much more compact setup.Comment: 5 pages, 4 figure

Dynamics of Bloch Oscillations in Disordered Lattice Potentials

We present a detailed analysis of the dynamics of Bloch oscillations of Bose-Einstein condensates in disordered lattice potentials. Due to the disorder and the interparticle interactions these oscillations undergo a dephasing, reflected in a damping of the center of mass oscillations, which should be observable under realistic experimental conditions. The interplay between interactions and disorder is far from trivial, ranging from an interaction-enhanced damping due to modulational instability for strong interactions, to an interaction-reduced damping due to a dynamical screening of the disorder potential

Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable

Recognition of minimal unsatisfiable CNF formulas (unsatisfiable CNF formulas which become satisfiable if any clause is removed) is a classical DP-complete problem. It was shown recently that minimal unsatisfiable formulas with n variables and n+k clauses can be recognized in time . We improve this result and present an algorithm with time complexity ; hence the problem turns out to be fixed-parameter tractable (FTP) in the sense of Downey and Fellows (Parameterized Complexity, 1999). Our algorithm gives rise to a fixed-parameter tractable parameterization of the satisfiability problem: If for a given set of clauses F, the number of clauses in each of its subsets exceeds the number of variables occurring in the subset at most by k, then we can decide in time whether F is satisfiable; k is called the maximum deficiency of F and can be efficiently computed by means of graph matching algorithms. Known parameters for fixed-parameter tractable satisfiability decision are tree-width or related to tree-width. Tree-width and maximum deficiency are incomparable in the sense that we can find formulas with constant maximum deficiency and arbitrarily high tree-width, and formulas where the converse prevails

Anti-alignments in conformance checking: the dark side of process models

Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. These techniques suffer from the wellknown state space explosion problem, hence handling process models exhibiting large or even infinite state spaces remains a challenge. One important metric in conformance checking is to asses the precision of the model with respect to the observed executions, i.e., characterize the ability of the model to produce behavior unrelated to the one observed. By avoiding the computation of the full state space of a model, current techniques only provide estimations of the precision metric, which in some situations tend to be very optimistic, thus hiding real problems a process model may have. In this paper we present the notion of antialignment as a concept to help unveiling traces in the model that may deviate significantly from the observed behavior. Using anti-alignments, current estimations can be improved, e.g., in precision checking. We show how to express the problem of finding anti-alignments as the satisfiability of a Boolean formula, and provide a tool which can deal with large models efficiently.Peer ReviewedPostprint (author's final draft

Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API

We consider the incremental computation of minimal unsatisfiable cores (MUCs) of QBFs. To this end, we equipped our incremental QBF solver DepQBF with a novel API to allow for incremental solving based on clause groups. A clause group is a set of clauses which is incrementally added to or removed from a previously solved QBF. Our implementation of the novel API is related to incremental SAT solving based on selector variables and assumptions. However, the API entirely hides selector variables and assumptions from the user, which facilitates the integration of DepQBF in other tools. We present implementation details and, for the first time, report on experiments related to the computation of MUCs of QBFs using DepQBF's novel clause group API.Comment: (fixed typo), camera-ready version, 6-page tool paper, to appear in proceedings of SAT 2015, LNCS, Springe

Damped Bloch Oscillations of Bose-Einstein Condensates in Disordered Potential Gradients

We investigate both experimentally and theoretically disorder induced damping of Bloch oscillations of Bose-Einstein condensates in optical lattices. The spatially inhomogeneous force responsible for the damping is realised by a combination of a disordered optical and a magnetic gradient potential. We show that the inhomogeneity of this force results in a broadening of the quasimomentum spectrum, which in turn causes damping of the centre-of-mass oscillation. We quantitatively compare the obtained damping rates to the simulations using the Gross-Pitaevskii equation. Our results are relevant for high precision experiments on very small forces, which require the observation of a large number of oscillation cycles.Comment: to be published in New Journal of Physic

GluA4-Targeted AAV Vectors Deliver Genes Selectively to Interneurons while Relying on the AAV Receptor for Entry

Selective gene delivery into subtypes of interneurons remains an important challenge in vector development. Adeno-associated virus (AAV) vector particles are especially promising for intracerebral injections. For cell entry, AAV2 particles are supposed to attach to heparan-sulfate proteoglycans (HSPGs) followed by endocytosis via the AAV receptor (AAVR). Here, we assessed engineered AAV particles deficient in HSPG attachment but competent in recognizing the glutamate receptor 4 (GluA4, also known as GluRD or GRIA4) through a displayed GluA4-specific DARPin (designed ankyrin repeat protein). When injected into the mouse brain, histological evaluation revealed that in various regions, more than 90% of the transduced cells were interneurons, mainly of the parvalbumin-positive subtype. Although part of the selectivity was mediated by the DARPin, the chosen spleen focus-forming virus (SFFV) promoter had contributed as well. Further analysis revealed that the DARPin mediated selective attachment to GluA4-positive cells, whereas gene delivery required expression of AAVR. Our data suggest that cell selectivity of AAV particles can be modified rationally and efficiently through DARPins, but expression of the AAV entry receptor remains essential

A slow gravity compensated Atom Laser

We report on a slow guided atom laser beam outcoupled from a Bose-Einstein condensate of 87Rb atoms in a hybrid trap. The acceleration of the atom laser beam can be controlled by compensating the gravitational acceleration and we reach residual accelerations as low as 0.0027 g. The outcoupling mechanism allows for the production of a constant flux of 4.5x10^6 atoms per second and due to transverse guiding we obtain an upper limit for the mean beam width of 4.6 \mu\m. The transverse velocity spread is only 0.2 mm/s and thus an upper limit for the beam quality parameter is M^2=2.5. We demonstrate the potential of the long interrogation times available with this atom laser beam by measuring the trap frequency in a single measurement. The small beam width together with the long evolution and interrogation time makes this atom laser beam a promising tool for continuous interferometric measurements.Comment: 7 pages, 8 figures, to be published in Applied Physics

A magnetic accretion switch in pre-cataclysmic binaries

We have investigated the mass accretion rate implied by published surface abundances of Si and C in the white dwarf component of the 3.62 h period pre-cataclysmic binary and planet host candidate QS Vir (DA+M2−4). Diffusion time-scales for gravitational settling imply M˙∼10−16M⊙ yr−1 for the 1999 epoch of the observations, which is three orders of magnitude lower than measured from a 2006 XMM–Newton observation. This is the first time that large accretion rate variations have been seen in a detached pre-cataclysmic variable (pre-CV). A third body in a 14 yr eccentric orbit suggested in a recent eclipse timing study is too distant to perturb the central binary sufficiently to influence accretion. A hypothetical coronal mass ejection just prior to the XMM–Newton observation might explain the higher accretion rate, but the implied size and frequency of such events appear too great. We suggest accretion is most likely modulated by a magnetic cycle on the secondary acting as a wind ‘accretion switch’, a mechanism that can be tested by X-ray and ultraviolet monitoring. If so, QS Vir and similar pre-CVs could provide powerful insights into hitherto inscrutable CV and M dwarf magnetospheres, and mass- and angular-momentum-loss rates